# check for staged changes
# pull git repo
# push changes to git repo

make dist VERSION= …

open https://github.com/bh11/irredsol/releases

create new release + new tag

# upload tar.gz
# upload LICENSE.txt
# upload packageinfo.g
# upload README.txt




